Generalizing Hartogs’ Trichotomy Theorem
نویسنده
چکیده
The Trichotomy Principle says that a pair of sets A and B either admits a bijection or else precisely one of these sets injects into the other. Hartogs established logical equivalence between the Trichotomy Principle and the Well-Ordering Principle. As ZF suffices to prove the Schröder-Bernstein theorem, the heart of Trichotomy lies in the existence of some injection connecting A and B (in either direction).
منابع مشابه
Two Classical Surprises Concerning the Axiom of Choice and the Continuum Hypothesis
1. INTRODUCTION. In this paper we introduce the reader to two remarkable results in the theory of sets. Both are more than fifty years old, but neither one appears to be well known among nonspecialists. Each one states that a certain proposition implies the Axiom of Choice. First we describe the results, then review definitions, then, finally, present the proofs, most of which are straightforwa...
متن کامل$L^p$ boundedness of the Bergman projection on some generalized Hartogs triangles
In this paper we investigate a two classes of domains in $mathbb{C}^n$ generalizing the Hartogs triangle. We prove optimal estimates for the mapping properties of the Bergman projection on these domains.
متن کاملA Morse-theoretical Proof of the Hartogs Extension Theorem
100 years ago exactly, in 1906, Hartogs published a celebrated extension phenomenon (birth of Several Complex Variables), whose global counterpart was understood later: holomorphic functions in a connected neighborhood V(∂Ω) of a connected boundary ∂Ω b C (n > 2) do extend holomorphically and uniquely to the domain Ω. Martinelli in the early 1940’s and Ehrenpreis in 1961 obtained a rigorous pro...
متن کاملThe disk property. A short survey
We present some results obtained over the years regarding the disk property for complex manifolds and its connections with pseudoconvexity. The idea to use holomorphic disks to study domains of holomorphy in C goes back all the way to F. Hartogs [12] at the beginning of the twentieth century. Hartogs’ result was extended by Osgood [19] who proved what is called ”Hartogs extension theorem” stati...
متن کامل- THEORETICAL PROOF OF HARTOGS ’ EXTENSION THEOREM ON ( n − 1 ) - COMPLETE COMPLEX SPACES
Let X be a connected normal complex space of dimension n ≥ 2 which is (n − 1)-complete, and let π : M → X be a resolution of singularities. By use of Takegoshi’s generalization of the Grauert-Riemenschneider vanishing theorem, we deduce H cpt(M,O) = 0, which in turn implies Hartogs’ extension theorem on X by the ∂-technique of Ehrenpreis.
متن کامل